Logical operations and Kolmogorov complexity
نویسندگان
چکیده
منابع مشابه
Logical operations and Kolmogorov complexity
Conditional Kolmogorov complexity can be understood as the complexity of the problem “ ”, where is the problem “construct ” and is the problem “construct ”. Other logical operations ( ) can be interpreted in a similar way, extending Kolmogorov interpretation of intuitionistic logic and Kleene realizability. This leads to interesting problems in algorithmic information theory. Some of these ques...
متن کاملLogical Operations and Kolmogorov Complexity II
We investigate Kolmogorov complexity of the problem (a ! c) ^ (b ! d), deened as the minimum length of a program that given a outputs c and given b outputs d. We prove that unlike all known problems of this kind its complexity is not expressible in terms of Kolmogorov complexity of a, b, c, and d, their pairs, triples etc. This solves the problem posed in 9]. In the second part we consider the ...
متن کاملCompressibility and Kolmogorov Complexity
We continue the investigation of the path-connected geometry on the Cantor space and the related notions of dilution and compressibility described in [1]. These ideas are closely related to the notions of effective Hausdorff and packing dimensions of reals, and we argue that this geometry provides the natural context in which to study them. In particular we show that every regular real can be m...
متن کاملKolmogorov complexity and cryptography
We consider (in the framework of algorithmic information theory) questions of the following type: construct a message that contains different amounts of information for recipients that have (or do not have) certain a priori information. Assume, for example, that the recipient knows some string a, and we want to send her some information that allows her to reconstruct some string b (using a). On...
متن کاملKolmogorov Complexity and Games
In this survey we consider some results on Kolmogorov complexity whose proofs are based on interesting games. The close relation between Recursion theory, whose part is Kolmogorov complexity, and Game theory was revealed by Andrey Muchnik. In [10], he associated with every statement φ of Recursion theory a game Gφ that has the following properties. First, Gφ is a game with complete information ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00035-4